// ==++==
// 
//   Copyright (c) 2008 Microsoft Corporation. All rights reserved.
//   License: MS-Pl
//
// ==--==

using System;
using Microsoft.Pex.Framework.TestFrameworks;
using MbUnit.Pex;
using Microsoft.Pex.Framework.Instrumentation;
//using Microsoft.Pex.Framework.Security;
using MbUnit.Framework;

// instrumentation (Assert type)
[assembly: PexInstrumentAssembly(typeof(TestFixtureAttribute))]

// partial trust support
//[assembly: PexFullTrustAssembly(typeof(TestFixtureAttribute))]

// loads the MbUnit test framework
[assembly: MbUnitTestFramework]
